b == ((a.1) (=) (b.1)) 
((a.2) (=) (b.2))
clarification:
a =
s,t b == ((a.1) (=s) (b.1)) ((a.2) (=t) (b.2)) | 13,42 |
b == ((a.1) (=) (b.1)) ((a.2) (=) (b.2))
s,t b == ((a.1) (=s) (b.1)) ((a.2) (=t) (b.2))
| Up | |
| Wellformedness Lemmas | |
| Definitions | q |